From 279512e29ff2cb0364b5979074f1d88559841ee3 Mon Sep 17 00:00:00 2001
From: Greg Sabino Mullane <greg@users.mediawiki.org>
Date: Wed, 28 Jun 2006 17:58:11 +0000
Subject: [PATCH] Add port number, change comment

---
 includes/DefaultSettings.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index c4b2296202..e1559abe50 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -431,6 +431,8 @@ $wgSMTP				= false;
  */
 /** database host name or ip address */
 $wgDBserver         = 'localhost';
+/** database port number */
+$wgDBport           = '';
 /** name of the database */
 $wgDBname           = 'wikidb';
 /** */
@@ -499,7 +501,7 @@ $wgDBservers		= false;
 /** How long to wait for a slave to catch up to the master */
 $wgMasterWaitTimeout = 10;
 
-/** File to log MySQL errors to */
+/** File to log database errors to */
 $wgDBerrorLog		= false;
 
 /** When to give an error message */
-- 
2.20.1